La famille \(\mathcal F\) de tous les fermés vérifie : - Toute intersection ou réunion finie de fermés est un fermé - \(\varnothing\) et \(X\) sont des fermés (Intersection, Union - Réunion, Ensemble vide)